Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Bruno Legeard »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Bruno Le Heup < Bruno Legeard < Bruno Leheup  Facettes :

List of bibliographic references indexed by Bruno Legeard

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
000862 (2014-12) Alexandre Vernotte [France] ; Frédéric Dadeau [France] ; Franck Lebeau [France] ; Bruno Legeard [France] ; Fabien Peureux [France] ; François Piat [France]Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities
000A70 (2014-06-30) Elizabeta Fourneret [France] ; Jérome Cantenot [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Julien Botella [France]SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models
001119 (2013-07-01) Fabrice Ambert [France] ; Fabrice Bouquet [France] ; Jonathan Lasalle [France] ; Bruno Legeard [France] ; Fabien Peureux [France]Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
001849 (2012-11-18) Fabrice Ambert [France] ; Fabrice Bouquet [France] ; Jonathan Lasalle [France] ; Bruno Legeard [France] ; Fabien Peureux [France]Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
001F13 (2012) Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Taha Triki [France] ; Safouan Taha [France] ; Bruno Legeard [France] ; Julien Botella [France] ; Boutheina Chetali [France] ; Bernet Julien ; David RouillardTASCCC - Project and Testing Tool (poster and demo)
001F99 (2011-11-15) Fabrice Bouquet [France] ; Bruno Legeard [France] ; Natacha PickaertIndustrialiser le test fonctionnel Pour maîtriser les risques métier et accroître l'efficacité du test
002157 (2011-09) Frédéric Dadeau [France] ; Fabien Peureux [France] ; Bruno Legeard [France] ; Régis Tissot [France] ; Jacques Julliand [France] ; Pierre-Alain Masson [France] ; Fabrice Bouquet [France]Test Generation using Symbolic Animation of Models
002496 (2011) Jonathan Lasalle [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Fabien Peureux [France]SysML to UML model transformation for test generation purpose
003190 (2010) Frédéric Fondement [France] ; P-A. Muller [France] ; Brice Wittmann [France] ; Fabrice Ambert [France] ; Fabrice Bouquet [France] ; Jonathan Lasalle [France] ; Emilie Oudot [France] ; Fabien Peureux [France] ; Bruno Legeard [France] ; M. Alter [France] ; C. Scherrer [France]VETESS : IDM, Test et SysML
003259 (2010) Pierre-Alain Masson [France] ; Marie-Laure Potet [France] ; Jacques Julliand [France] ; Régis Tissot [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Eddie Jaffuel ; Boutheina Chetali [France] ; June Andronick ; Amal Haddad [France]An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project
003643 (2009-04-08) Bruno Legeard [France] ; Fabrice Bouquet [France] ; Pickaert Natacha [France]Industrialiser le test fonctionnel
003666 (2009-03-23) Stéphane Debricon [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France]From Business Processes to Integration Testing
005049 (2006-08) Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France]Automated Boundary Test Generation from JML Specifications
005866 (2005-11) Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France]How Symbolic Animation can help designing an Efficient Formal Model
005976 (2005-07) Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] ; Marc Utting [France]Symbolic Animation of JML Specifications
005978 (2005-07) Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France]Using Constraint Logic Programming for the Symbolic Animation of Formal Models
005A57 (2005-04) Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] ; Marc Utting [France]JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Bruno Legeard" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Bruno Legeard" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Bruno Legeard
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022